bitkeeper revision 1.1159.1.317 (41858a05X_g4Uut3LMGwGYbviy2MVg)

Merge ssh://srg//auto/groups/xeno/BK/xeno.bk
into pug.(none):/home/irchomes/mwilli2/xeno-docs.bk

diff --cc BitKeeper/etc/logging_ok
index 70a50800de9db489a408e25e4f8dc9f5c4c4c861,12d724a30b3212de7f2607cf2d41b72a0c7ebbf3..376cc2293fb7a9ab6261f92dc8f5aff8e476f9c5
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -32,12 -32,11 +32,13 @@@ kaf24@striker.cl.cam.ac.u
  laudney@eclipse.(none)
  lynx@idefix.cl.cam.ac.uk
  mafetter@fleming.research
 +mark@maw48.kings.cam.ac.uk
  maw48@labyrinth.cl.cam.ac.uk
  mjw@wray-m-3.hpl.hp.com
 +mwilli2@anvil.research
  mwilli2@equilibrium.research
  mwilli2@equilibrium.research.intel-research.net
+ mwilli2@pug.(none)
  rac61@labyrinth.cl.cam.ac.uk
  rgr22@boulderdash.cl.cam.ac.uk
  rn@wyvis.camb.intel-research.net